Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

نویسندگان

  • Gabriel A. Wainer
  • Mariana C. D'Abreu
چکیده

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Experimental Results On the Use of Modelica/CD++

The DEVS formalism was defined as a method for modeling and discrete event systems. DEVS theory evolved and it was recently upgraded in order to permit modeling of continuous and hybrid systems. We have built a compiler of a subset of Modelica, and built a translator into DEVS models. We show how to model these dynamic systems under the discrete event abstraction. Examples of model simulations ...

متن کامل

Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling

The work performed by the authors to provide to Modelica more discrete-event system modeling functionalities is presented. These functionalities include the replication of the modeling capacities found in the Arena environment, the SIMAN language and the DEVS formalism. The implementation of these new functionalities is included in three free Modelica libraries called ARENALib, SIMANLib and DEV...

متن کامل

System modeling using the Parallel DEVS formalism and the Modelica language

1569-190X/$ see front matter 2010 Elsevier B.V doi:10.1016/j.simpat.2010.03.004 * Corresponding author. Tel.: +34 91 3089469. E-mail addresses: [email protected] (V. Sanz) (S. Dormido). The analysis and identification of the requirements needed to describe P-DEVS models using the Modelica language are discussed in this manuscript. A new free Modelica package, named DEVSLib, is presented. It fac...

متن کامل

Quantised State System Simulation in Dymola/Modelica Using the DEVS Formalism

Continuous-time systems can be converted to discreteevent descriptions using the Quantised State Systems (QSS) formalism. Hence it is possible to simulate continuous-time systems using a discrete-event simulation tool, such as a simulation engine based on the DEVS formalism. A new Dymola library, ModelicaDEVS, was developed that implements the DEVS formalism. DEVS has been shown to be efficient...

متن کامل

Parallel DEVS and Process-Oriented Modeling in Modelica

This manuscript presents a new free Modelica library, named DESLib and composed of four packages: RandomLib, DEVSLib, SIMANLib and ARENALib. DESLib has been designed and implemented to facilitate the description of discrete-event models using the Parallel DEVS formalism (using DEVSLib), and to facilitate the process-oriented modeling of logistic systems (using SIMANLib and ARENALib). SIMANLib a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Advances in Engineering Software

دوره 79  شماره 

صفحات  -

تاریخ انتشار 2015